outermost reduction

См. также в других словарях:

• Graph reduction — In computer science, graph reduction implements an efficient version of non strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated. This form of non strict evaluation is also known as lazy… …   Wikipedia

• angiosperm — /an jee euh sperrm /, n. Bot. a plant having its seeds enclosed in an ovary; a flowering plant. Cf. gymnosperm. [ANGIO + SPERM] * * * ▪ plant Introduction       any member of the more than 300,000 species of flowering plants (division Anthophyta) …   Universalium

• nitrogen group element — ▪ chemical elements Introduction  any of the chemical elements that constitute Group Va of the periodic table (see Figure >). The group consists of nitrogen (N), phosphorus (P), arsenic (As), antimony (Sb), and bismuth (Bi). The elements share… …   Universalium

• Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

• eye, human — ▪ anatomy Introduction  specialized sense organ capable of receiving visual images, which are then carried to the brain. Anatomy of the visual apparatus Structures auxiliary to the eye The orbit       The eye is protected from mechanical injury… …   Universalium

• chemical compound — Introduction  any substance composed of identical molecules consisting of atoms (atom) of two or more chemical elements (chemical element).       All the matter in the universe is composed of the atoms of more than 100 different chemical elements …   Universalium

• India — /in dee euh/, n. 1. Hindi, Bharat. a republic in S Asia: a union comprising 25 states and 7 union territories; formerly a British colony; gained independence Aug. 15, 1947; became a republic within the Commonwealth of Nations Jan. 26, 1950.… …   Universalium

• ionosphere and magnetosphere — ▪ atmospheric science Introduction       regions of Earth s (Earth) atmosphere in which the number of electrically charged particles ions (ion) and electrons (electron) are large enough to affect the propagation of radio waves (electromagnetic… …   Universalium

• Evaluation strategy — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation …   Wikipedia

• bivalve — bivalvular /buy val vyeuh leuhr/, adj. /buy valv /, n. 1. Also called lamellibranch. Zool. any mollusk, as the oyster, clam, scallop, or mussel, of the class Bivalvia, having two shells hinged together, a soft body, and lamellate gills. adj. 2.… …   Universalium

• Normal form (abstract rewriting) — In abstract rewriting, a normal form is an element of the system which cannot be rewritten any further. Stated formally, for some reduction relation ⋅ → ⋅ over X a term t in X is a normal form if there does not exist a term t′ in X such …   Wikipedia